body {
  font-family: arial; 
  overflow: hidden;
}

.trlink {
  float: right;
  font-size: 14px;
  background-color: #eaf0fa;
  border: 2px solid #427bd6;
  padding: 3px 6px;
}

.trlink a {
  color: #1b488f;
  font-weight: bold;
}

.trlink .new {
  color: #c00;
  font-weight: bold;
}

textarea {
  padding: 6px;
}

form {
  padding: 3px; 
  background: #fafafa; 
  margin-bottom: 0px; 
  width: 100%
}

#toptable {
  height: 400px;
}

#log {
  border: 1px solid silver; 
  padding-left: 3px;
  height: 100%;
  overflow: auto; 
  background: white;
  font-size: 9pt;
}

#samples {
  margin-left: 8px; 
  margin-right: 8px; 
  padding: 4px; 
  width: 17em;
  overflow: auto;
  height: 300px;
  border: 1px solid #ddd;
  font-size: small;
}

.run_sample {
  font-size: x-small;
  float: right;
}

#map3d {
  border: 1px solid silver; 
  height: 100%;
  width: 100%;
}

#label {  
  font-weight: bold; 
}

#toolbar {
  font-size: 9pt;
  float: right;
  padding-top: 4px;
}

.toolbar_link {
  margin-left: 8px;
}

#title {
  font-weight: bold;
  font-size: 16pt;
}

#subtitle {
  font-weight: normal;
  font-size: 12pt;
}

.header_info {
  font-size: 10pt;
  color: #A0A0A0; 
  margin-left: 30px;
}

.sample_header {
  padding-top: 6px;
  font-weight: bold;
}

#sample_code {
  font-family: monospace;
  font-size: 10pt;
}
